$\forall$$u$,$v$:$\mathbb{B}$. ($\uparrow$($u$ $\Rightarrow_{b}$ $v$)) $\Rightarrow$ \{($\uparrow$$u$) $\Rightarrow$ ($\uparrow$$v$)\}